Journal of Mathematical Logic - PDFSEARCH.IO - Document Search Engine

Journal of Mathematical Logic
Results: 125

#	Item
71	Gregory Wheeler Munich Center for Mathematical Philosophy Ludwig Maximilian University of Munich Geschwister-Scholl-Platz[removed]Munich, germany Email: [removed] Add to Reading List Source URL: www.mcmp.philosophie.uni-muenchen.de Language: English - Date: 2015-02-05 08:37:55 Science Formal epistemology Gregory Wheeler Probabilistic logic Lottery paradox Henry E. Kyburg Jr. Journal of Philosophical Logic Colin Howson Paraconsistent logic Logic Epistemology Non-classical logic
72	Ergo AN OPEN ACCESS JOURNAL OF PHILOSOPHY Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Philosophical logic Mathematical logic Function Entailment Proposition Modal logic Logic Logical syntax Propositional calculus
73	DISCUSSION NOTE THE UNUSUAL LOGIC OF HURKA’S RECURSIVE ACCOUNT BY AVRAM HILLER JOURNAL OF ETHICS & SOCIAL PHILOSOPHY Add to Reading List Source URL: jesp.org Language: English - Date: 2012-03-06 13:21:46 Social philosophy Mathematical logic Pleasure Definition Recursive definition Theoretical computer science Good and evil Pain Evil Mind Ethics Philosophy of mind
74	ATTITUDES AND COGNITIVE ORGANIZATION Fritz Heider[removed]First published in The Journal of Psychology, 21, [removed]Attitudes towards persons and causal unit formations influence each other. An attitude towards an event Add to Reading List Source URL: snap.stanford.edu Language: English - Date: 2013-09-11 13:28:24 Mathematical logic FO Binary relation Existential quantification Science Logic Mathematics Finitary relation
75	14 Notre Dame Journal of Formal Logic Volume 31, Number 1, Winter 1990 Linear Logic Displayed NUEL BELNAP Add to Reading List Source URL: www.pitt.edu Language: English - Date: 2011-02-14 12:57:38 Proof theory Substructural logic Logic in computer science Philosophical logic Linear logic Intuitionistic logic Axiom Sequent calculus Negation Logic Mathematical logic Non-classical logic
76	Journal of Logic and Computation Advance Access published October 10, 2006 The Dynamics of Syntactic Knowledge THOMAS A˚GOTNES, Department of Informatics, University of Bergen P.B. 7800, N-5020 Bergen, Norway. E-mail: Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-20 10:30:44 Philosophical logic Model theory Metalogic Modal logic Epistemic modal logic Non-monotonic logic First-order logic FO Belief revision Logic Mathematical logic Non-classical logic
77	International Journal of Information Security manuscript No. (will be inserted by the editor) J. G. Cederquist · R. Corin · M. A. C. Dekker S. Etalle · J. I. den Hartog · G. Lenzini Add to Reading List Source URL: doc.utwente.nl Language: English - Date: 2011-08-28 12:47:09 Propositional calculus Predicate logic Logical syntax Model theory Euclidean plane geometry Golden ratio First-order logic Entailment Function Logic Mathematics Mathematical logic
78	Journal of Automated Reasoning, 18, 297{[removed]) c 1997 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Computing Circumscription Revisited: A Reduction Algorithm Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:57:57 Predicate logic Model theory Formal languages Circumscription Logic programming Atomic formula Function Monadic predicate calculus Predicate variable Logic Mathematical logic Mathematics
79	Journal of Machine Learning Research[removed]–1653 Submitted 10/05; Published 7/06 Structured Prediction, Dual Extragradient and Bregman Projections Ben Taskar Add to Reading List Source URL: www.jmlr.org Language: English - Date: 2006-07-07 16:03:04 Linear programming Dynamic programming Mathematical optimization Function Combinatory logic Markov random field Mathematics Operations research Applied mathematics
80	Armenian Journal of Mathematics Volume 3, Number 3, 2010, 97–104 Boolean Centre of a C-algebra S. Kalesha Vali, P. Sundarayya* and U.M. Swamy*** * Department of Basic Sciences and Humanities, GITAM Institute of Add to Reading List Source URL: ajm.asj-oa.am Language: English - Date: 2011-05-04 02:43:06 Boolean algebra Mathematics Algebraic structures C*-algebra Lattice theory Congruence lattice problem Abstract algebra Algebraic logic Mathematical logic

UPDATE